$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$). $X$ $\leq$ $Y$ $\in$ $\mathbb{P}$